<?php

class DBException extends PhException
{}